(** [t *)
type t = int
